home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / aie8911.zip / TALK2 < prev    next >
Text File  |  1989-08-02  |  1KB  |  77 lines

  1.  
  2.  
  3.                        AI_SL/16
  4.  
  5.      SPECIFICATION
  6.  
  7. THE PROBLEM:
  8.  
  9.     * UNDERSTANDING THE SPECS
  10.  
  11.     * KNOWING IF THEY ARE OK
  12.  
  13. PROPOSED SOLUTION:
  14.  
  15.     EXECUTE THE SPECS
  16.     AND TRY THEM OUT
  17.  
  18. REQUIREMENT:
  19.  
  20.     NEED TO BE ABLE TO DO THIS
  21.     AT AN EARLY STAGE, WITH SOME
  22.     INFO NOT SPECIFIED.
  23.  
  24.  
  25.                        AI_SL/17
  26.  
  27. EXAMPLE ( from BLS):
  28.  
  29.     Process housing units
  30.  
  31. The first specification:
  32.  
  33. stub  [ call :
  34.           process_housing_unit( X )
  35.         purpose:
  36.           $processes a housing unit$].
  37.  
  38. The test:
  39.  
  40. test :-   process_housing_unit( 1 ).
  41.  
  42. NOW, LET'S RUN IT.
  43.  
  44.  
  45.                        AI_SL/18
  46.  
  47.  
  48. MORE ELABORATE SPECS... (STEP 2_)
  49.  
  50.    -- see v2.ari on computer
  51.  
  52. WE CAN CONTROL THE LEVEL OF DISPLAY
  53.     AND EXECUTION
  54.  
  55. ?- turn( process_housing_unit, off).
  56. ?- show( process_housing_unit, off).
  57.  
  58.  
  59.                        AI_SL/19
  60.  
  61.       WHAT EXECUTES SPECS:
  62.  
  63. 1.  EXTENDED INTERPRETER
  64.  
  65.     RUNS SPECS AS WELL AS CODE
  66.  
  67. 2.  ANALYSIS OF SPECS TO SEE WHAT
  68.     IS REQUIRED,
  69.     E.G. BRANCH, LOOP, ETC.
  70.  
  71.      -- SEE is_a_boolean IN STUBS.ARI
  72.  
  73. 3.  GENERIC ROUTINES
  74.  
  75.      -- SEE yes IN STUBS.ARI
  76.  
  77.